1. 由强大数定律和更新过程强大数定律, 有
2. 注意到 关于 和 都是停时, 于是有
令 , 则有
于是 满足如下更新方程
其中 .
则 , 有
于是 , 且 ,
于是 , 当 时 .
于是由定理 2.11.1, 有
利用基本更新定理和前述结论, 有
于是
证毕.